Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
351	This article was downloaded by: [Princeton University] On: 11 May 2010 Access details: Access Details: [subscription number[removed]Publisher Psychology Press Informa Ltd Registered in England and Wales Registered Num Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:41:44 Binary operations Philosophical logic Logical connectives Counterfactual conditional Material conditional Mental model Conditional sentence Causality Logical biconditional Logic Conditionals Propositional calculus
352	Completeness of Propositional Logic as a Program Ryan Stansifer Department of Computer Sciences Florida Institute of Technology Melbourne, Florida USA 32901 Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2006-01-03 14:49:24 Propositional calculus Proof theory Logical syntax Fuzzy logic Deduction theorem Contradiction Axiom Theorem BL Logic Mathematical logic Mathematics
353	Dynamic Proof Theories For Reasoning With Conditionals Christian Straßer and Mathieu Beirlaen and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-29 05:24:27 Conditionals Modal logic Deontic logic Logical connectives Philosophical logic Material conditional Strict conditional Logic Mathematical logic Propositional calculus
354	Journal of Experimental & Theoretical Artificial Intelligence Vol. 18, No. 2, June 2006, 121–148 Models and heterogeneous reasoning P. N. JOHNSON-LAIRD* Department of Psychology, Princeton University, Green Hall, Princ Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:38:59 Deduction Logical consequence Propositional calculus Thought Mental model Reason Argument Deductive reasoning Interpretation Logic Science Reasoning
355	Propositional Logic Extended With A Pedagogically Useful Relevant Implication∗ Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-05-06 17:32:48 Non-classical logic Logical consequence Paraconsistent logic Natural deduction Relevance logic Entailment Paradoxes of material implication Material conditional Modal logic Logic Philosophical logic Propositional calculus
356	Exhaustification of Polish disjunctive questions Clemens Mayr & Karolina Zuchewicz Center for General Linguistics (ZAS) & Humboldt University Overview Evidence from Polish suggests that the polar question (PQ) and altern Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:34 Logic Propositional calculus Binary operations Mathematics If and only if Exclusive or Yes–no question Intonation Question Linguistics Grammar Boolean algebra
357	Certifying Compilation for a Language with Stack Allocation Limin Jia Frances Spalding David Walker Princeton University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Stack Entailment Heap Linear temporal logic Logic Propositional calculus Symbol
358	8. Pedotransfer Functions of Soil Water Retention Characteristic 8.1 Pedotransfer Function Equation of Soil Water Retention Characteristic The pedotransfer function equation of soil water retention characteristic is ex Add to Reading List Source URL: vro.depi.vic.gov.au Language: English - Date: 2015-04-17 11:15:56 Logical syntax Metalogic Philosophical logic Propositional calculus Water retention curve Logic Deduction Entailment
359	JAROSLAV PEREGRIN INTERPRETING FORMAL LOGIC* ABSTRACT. The concept of semantic interpretation is a source of chronic confusion: the introduction of a notion of interpretation can be the result of several quite different Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2005-02-22 12:43:03 Philosophy of language Model theory Logical truth Interpretation First-order logic Truth Logical constant Propositional calculus Logical connective Logic Philosophical logic Logical syntax
360	Connection Science, Vol. 7, No. 2, [removed]D ensity Plots of H idden Value U nit Activations Reveal Interpretable Bands Add to Reading List Source URL: www.bcp.psych.ualberta.ca Language: English - Date: 2012-07-11 15:01:00 Propositional calculus Deduction Entailment Metalogic Radial basis function network Logic Neural networks Logical syntax

UPDATE